- categorical quotient
- мат.категорный фактор
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Quotient category — In mathematics, a quotient category is a category obtained from another one by identifying sets of morphisms. The notion is similar to that of a quotient group or quotient space, but in the categorical setting.DefinitionLet C be a category. A… … Wikipedia
Algebraic stack — In algebraic geometry, an algebraic stack is a concept introduced to generalize algebraic varieties, schemes, and algebraic spaces. They were originally proposed in a 1969 paper[1] by Pierre Deligne and David Mumford to define the (fine) moduli… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… … Wikipedia
Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… … Wikipedia
Errors and residuals in statistics — For other senses of the word residual , see Residual. In statistics and optimization, statistical errors and residuals are two closely related and easily confused measures of the deviation of a sample from its theoretical value . The error of a… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Bass–Serre theory — is a part of the mathematical subject of group theory that deals with analyzing the algebraic structure of groups acting by automorphisms on simplicial trees. The theory relates group actions on trees with decomposing groups as iterated… … Wikipedia
Symmetric algebra — In mathematics, the symmetric algebra S ( V ) (also denoted Sym ( V )) on a vector space V over a field K is the free commutative unital associative K algebra containing V .It corresponds to polynomials with indeterminates in V , without choosing … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia